Skip to content

Conversation

ShahzaibIbrahim
Copy link

@ShahzaibIbrahim ShahzaibIbrahim commented Nov 21, 2023

Updating Documentation with new label for "Skip All Breakpoints" to "Toggle Skip All Breakpoints

w.r.t the change of eclipse-platform/eclipse.platform#864

Breakpoints" eclipse-platform#864

Updating Documentation with new label for "Skip All Breakpoints" to
"Toggle Skip All Breakpoints"
@jukzi jukzi marked this pull request as draft January 19, 2024 13:32
@jukzi
Copy link
Contributor

jukzi commented Jan 19, 2024

converted to draft, since eclipse-platform/eclipse.platform#864 was not merged yet

@laeubi
Copy link
Contributor

laeubi commented Feb 12, 2024

@jkaesser @ShahzaibIbrahim can we finish this now the PR is merged?

@HeikoKlare
Copy link
Contributor

The related PR to Platform has not been merged, as we still don't have a fix for eclipse-platform/eclipse.platform.swt#501.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants